Definition and Analysis of Election Processes
نویسندگان
چکیده
This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behaviors by election officials. The Little-JIL language is used to model example election processes, and various election worker fraudulent behaviors. The FLAVERS finite-state verification system is then used to determine whether different combinations of election worker behaviors cause the process to produce incorrect election results or whether protective actions can be used to thwart these threats.
منابع مشابه
Specifying and verifying requirements for election processes
In this paper we outline an approach for modeling election processes and then performing rigorous analysis to verify that these process models meet selected behavioral requirements. We briefly outline some high-level requirements that an election process must satisfy and demonstrate how these are refined into a collection of lower-level properties that can be used as the basis for verification....
متن کاملAdditional Insights Into Problem Definition and Positioning From Social Science; Comment on “Four Challenges That Global Health Networks Face”
Commenting on a recent editorial in this journal which presented four challenges global health networks will have to tackle to be effective, this essay discusses why this type of analysis is important for global health scholars and practitioners, and why it is worth understanding and critically engaging with the complexities behind these challenges. Focusing on the topics of problem definition ...
متن کاملModeling and Analyzing Faults to Improve Election Process Robustness
This paper presents an approach for continuous process improvement and illustrates its application to improving the robustness of election processes. In this approach, the Little-JIL process definition language is used to create a precise and detailed model of an election process. Given this process model and a potential undesirable event, or hazard, a fault tree is automatically derived. Fault...
متن کاملAn Analysis of the Socio-political Factors Influencing Women’s Participation in the National Parliamentary Election in Iran
This study questions why this is so and analyses the factors that prevent women from participating in the parliamentary election in Iran. The purpose of this research is to study the An Analysis of the Factors Influencing Women’s Participation in the Parliamentary election in Iran. It focuses on socio-political factors influencing the participation of women as electorate in the five General Ele...
متن کاملCritical Discourse Analysis of Hedges and Boosters in Iranian TV Election Debates of Presidential Candidates
To win the attention of the audience, presidential candidates rely on their own rhetorical methods. Hedges and boosters as metadiscourse markers have been the focus of many studies as the communicative strategies enabling speakers to soften the force of utterances or moderate their assertive force. TV news was used as the corpus of this study, whereas most of the previous studies have focused o...
متن کامل